PKK Library catalog › Results of search for 'su:{Programming Languages Electronic Computers} and se:Foundations Of Computing'

	1.	EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE by O'Donnell, Michael J. Material type: Book; Format: print ; Literary form: not fiction Description: 297.Publisher: Cambridge Mit Pr. 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Ob5e] (1). Place hold Add to cart (remove)
	2.	SEMANTICS OF PROGRAMMING LANGUAGES by Gunter,Carl A. Material type: Book Description: xviii,419.Publisher: Mit Press, Cambridge c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 G957S] (1). Place hold Add to cart (remove)
	3.	THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES by Winskel,Glynn. Material type: Book Description: xviii,361.Publisher: Mit Press, Cambridge c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W732F] (1). Place hold Add to cart (remove)
	4.	ALGEBRAIC THEORY OF PROCESSES by Hannesay, Matthew. Material type: Book; Format: print ; Literary form: not fiction Description: vi,273.Publisher: Cambridge Mit Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6420151 H196a] (1). Place hold Add to cart (remove)

PKK Library